TT256 = 2**256
TT256M1 = 2**256 - 1
TT255 = 2**255
